Provkin V.A., Goshin G.G., Tychinskiy V.Z., Matrosova A.Yu., Nikolaeva E.A. «Using SAT-solvers for deriving patch circuits that mask nodes faults and trojan circuits injections» // Izvestiya vuzov. Fizika 2020. №12 C.114-123
Matrosova Anzhela Yu., Provkin Viktor A. «Graph representations of the sets of all reachable reactions of the combinational circuit» // Tomsk State University Journal of Control and Computer Science 2022. №61 C.128-138
Matrosova Anzhela Yu., Savenkova Marina M. «Partial equivalence checking for combinational circuits» // Tomsk State University Journal of Control and Computer Science 2025. №71 C.130-139
Provkin Viktor A., Matrosova Anzhela Yu., Sukhoruchenko Ksenia A., Savenkova Marina M. «Testing of multi-output combinational circuits when reactions on test patterns are known» // Tomsk State University Journal of Control and Computer Science 2024. №69 C.134-143
Goshin G., Matrosova A., Ostanin S. «Deriving Approximate logic circuits for triple-modular redundancy (TMR) schemes» // Izvestiya vuzov. Fizika 2022. №4 C.150-159
